Publications of Benoit COMBEMALE
Benoit Combemale, Jeff Gray, Bernhard Rumpe
Adopting the concept of a function as an underlying semantic paradigm for modeling languages
Software and Systems Modeling, 2023, 22 (6), pp.1733-1735. ⟨10.1007/s10270-023-01140-2⟩
Benoit Combemale, Jeff Gray, Bernhard Rumpe
Large language models as an “operating” system for software and systems modeling
Software and Systems Modeling, 2023, 22 (5), pp.1391-1392. ⟨10.1007/s10270-023-01126-0⟩
Benoit Combemale, Jeff Gray, Bernhard Rumpe
Research software engineering and the importance of scientific models
Software and Systems Modeling, 2023, 22 (4), pp.1081-1083. ⟨10.1007/s10270-023-01119-z⟩
Benoit Combemale, Jeff Gray, Bernhard Rumpe
ChatGPT in software modeling
Software and Systems Modeling, 2023, 22 (3), pp.777-779. ⟨10.1007/s10270-023-01106-4⟩
Benoit Combemale, Romina Eramo, Juan de Lara
Guest editorial for the theme section on modeling language engineering
Software and Systems Modeling, 2023, 22 (3), pp.795-796. ⟨10.1007/s10270-023-01097-2⟩
Stéphanie Challita, Benoit Combemale, Huseyin Ergin, Jeff Gray, Bernhard Rumpe, Martin Schindler
Report on the State of the SoSyM Journal end of 2022
Software and Systems Modeling, 2023, 22 (1), pp.1-7. ⟨10.1007/s10270-023-01085-6⟩
Ludovic Pailler, Alain Tchana, Benoit Combemale
Protéger les données jusqu’à l’OS
Dalloz IP/IT : droit de la propriété intellectuelle et du numérique, 2023
Steffen Zschaler, Erwan Bousse, Julien Deantoni, Benoit Combemale
A Generic Framework for Representing and Analysing Model Concurrency
Software and Systems Modeling, 2023, 22, pp.1319-1340. ⟨10.1007/s10270-022-01073-2⟩
Benoit Combemale, Jeff Gray, Bernhard Rumpe
How to define modeling languages?
Software and Systems Modeling, 2023, 22 (2), pp.449-451. ⟨10.1007/s10270-023-01098-1⟩
Dorian Leroy, June Sallou, Johann Bourcier, Benoit Combemale
On the role of computer languages in scientific computing
Computing in Science and Engineering, In press, pp.1-6
Romina Eramo, Francis Bordeleau, Benoit Combemale, Mark van den Brand, Manuel Wimmer, Andreas Wortmann
Conceptualizing Digital Twins
IEEE Software, 2022, 39 (2), pp.39-46. ⟨10.1109/MS.2021.3130755⟩
Benoit Combemale, Jörg Kienzle, Gunter Mussbacher, Hyacinth Ali, Daniel Amyot, Mojtaba Bagherzadeh, Edouard Batot, Nelly Bencomo, Benjamin Benni, Jean-Michel Bruel, Jordi Cabot, Betty H C Cheng, Philippe Collet, Gregor Engels, Robert Heinrich, Jean-Marc Jézéquel, Anne Koziolek, Sébastien Mosser, Ralf Reussner, Houari Sahraoui, Rijul Saini, June Sallou, Serge Stinckwich, Eugene Syriani, Manuel Wimmer
A Hitchhiker’s Guide to Model-Driven Engineering for Data-Centric Systems
IEEE Software, 2021, 38 (4), ⟨10.1109/MS.2020.2995125⟩
Jörg Kienzle, Gunter Mussbacher, Benoit Combemale, Lucy Bastin, Nelly Bencomo, Jean-Michel Bruel, Christoph Becker, Stefanie Betz, Ruzanna Chitchyan, Betty Cheng, Sonja Klingert, Richard Paige, Birgit Penzenstadler, Norbert Seyff, Eugene Syriani, Colin C Venters
Towards Model-Driven Sustainability Evaluation
Communications of the ACM, 2020, 63 (3), pp.80-91. ⟨10.1145/3371906⟩
Manuel Leduc, Thomas Degueule, Eric van Wyk, Benoit Combemale
The Software Language Extension Problem
Software and Systems Modeling, 2020, 19 (2), pp.263-267. ⟨10.1007/s10270-019-00772-7⟩
Jean-Michel Bruel, Benoit Combemale, Esther M Guerra, Jean-Marc Jézéquel, Jörg Kienzle, Juan de Lara, Gunter Mussbacher, Eugene Syriani, Hans Vangheluwe
Comparing and Classifying Model Transformation Reuse Approaches across Metamodels
Software and Systems Modeling, 2020, 19 (2), pp.441-465. ⟨10.1007/s10270-019-00762-9⟩
Andreas Wortmann, Olivier Barais, Benoit Combemale, Manuel Wimmer
Modeling Languages in Industry 4.0: An Extended Systematic Mapping Study
Software and Systems Modeling, 2020, 19 (1), pp.67-94. ⟨10.1007/s10270-019-00757-6⟩
Dorian Leroy, Pierre Jeanjean, Erwan Bousse, Manuel Wimmer, Benoit Combemale
Runtime Monitoring for Executable DSLs
The Journal of Object Technology, 2020, 19 (2), pp.1-23. ⟨10.5381/jot.2020.19.2.a6⟩
Manuel Leduc, Gwendal Jouneaux, Thomas Degueule, Gurvan Le Guernic, Olivier Barais, Benoit Combemale
Automatic generation of Truffle-based interpreters for Domain-Specific Languages
The Journal of Object Technology, 2020, 19 (2), pp.1-21. ⟨10.5381/jot.2020.19.2.a1⟩
Mojtaba Bagherzadeh, Karim Jahed, Benoit Combemale, Juergen Dingel
Live Modeling in the Context of State Machine Models and Code Generation
Software and Systems Modeling, 2020, pp.1-44. ⟨10.1007/s10270-020-00829-y⟩
Gunter Mussbacher, Benoit Combemale, Jörg Kienzle, Silvia Abrahão, Hyacinth Ali, Nelly Bencomo, Márton Búr, Loli Burgueño, Gregor Engels, Pierre Jeanjean, Jean-Marc Jézéquel, Thomas Kühn, Sébastien Mosser, Houari Sahraoui, Eugene Syriani, Dániel Varró, Martin Weyssow
Opportunities in Intelligent Modeling Assistance
Software and Systems Modeling, 2020, 19 (5), pp.1045-1053. ⟨10.1007/s10270-020-00814-5⟩
Jörg Kienzle, Gunter Mussbacher, Benoit Combemale, Julien Deantoni
A Unifying Framework for Homogeneous Model Composition
Software and Systems Modeling, 2019, pp.1-19. ⟨10.1007/s10270-018-00707-8⟩
Benoît Lelandais, Marie-Pierre Oudot, Benoit Combemale
Applying Model-Driven Engineering to High-Performance Computing: Experience Report, Lessons Learned, and Remaining Challenges
Journal of Computer Languages, 2019, 55, pp.1-10. ⟨10.1016/j.cola.2019.100919⟩
Alfonso Pierantonio, Mark van den Brand, Benoit Combemale
The JOT Journal: Towards a Rising Generation
The Journal of Object Technology, 2019, 18 (1), pp.1-3. ⟨10.5381/jot.2019.18.1.e1⟩
Erwan Bousse, Dorian Leroy, Benoit Combemale, Manuel Wimmer, Benoit Baudry
Omniscient Debugging for Executable DSLs
Journal of Systems and Software, 2018, 137, pp.261-288. ⟨10.1016/j.jss.2017.11.025⟩
Benoit Combemale, Jörg Kienzle, Gunter Mussbacher, Olivier Barais, Erwan Bousse, Walter Cazzola, Philippe Collet, Thomas Degueule, Robert Heinrich, Jean-Marc Jézéquel, Manuel Leduc, Tanja Mayerhofer, Sébastien Mosser, Matthias Schöttle, Misha Strittmatter, Andreas Wortmann
Concern-Oriented Language Development (COLD): Fostering Reuse in Language Engineering
Computer Languages, Systems and Structures, 2018, 54, pp.139-155. ⟨10.1016/j.cl.2018.05.004⟩
Mounira Kezadri, Marc Pantel, Xavier Thirioux, Benoit Combemale
Correct-by-construction model driven engineering composition operators
Formal Aspects of Computing, 2016, 28 (3), ⟨10.1007/s00165-016-0354-6⟩
Benoit Combemale, Xavier Crégut, Pierre-Loïc Garoche, Xavier Thirioux
Essay on Semantics Definition in MDE. An Instrumented Approach for Model Verification.
In : Journal of Software (JSW), Academy Publisher, Finland, Vol. 4 N. 6, pp. 943-958, November 2009.
Abstract URL : http://www.academypublisher.com/ojs/index.php/jsw/article/view/0409943958
BibTeXAngel Garcia, Benoit Combemale, Xavier Crégut, Jérôme Vandeur
TopPROCESS : vers une ingénierie des procédés dirigée par les modèles
In : Revue de l’Electricité et de l’Electronique (REE), Société de l’Electricité, de l’Electronique et des Technologies de l’Information et de la Communication (SEE), Paris, Vol. 2009, N. 2, pp. 31-37, February 2009.
Benoit Combemale, Xavier Crégut, Pierre-Loïc Garoche, Xavier Thirioux, François Vernadat
A Property-Driven Approach to Formal Verification of Process Models
In : Enterprise Information Systems, Taylor & Francis Online, Special issue LNBIP 12, ICEIS 2007, Revised Selected Papers, Vol. 12, pp. 286-300, 2009.
Benoit Combemale, Xavier Crégut, Pierre Michel, Marc Pantel
SéMo’07 : premier atelier sur la Sémantique des Modèles
In : L’Objet, Hermès Science, Special issue Ingénierie Dirigée par les Modèles, Vol. 13, N. 4, pp. 137-144, January 2008.
Dorian Leroy, Benoit Combemale, Benoît Lelandais, Marie-Pierre Oudot
Practical Runtime Instrumentation of Software Languages: The Case of SciHook
SLE 2023 – 16th ACM SIGPLAN International Conference on Software Language Engineering, ACM SIGPLAN: Special Interest Group on Programming Languages, Oct 2023, Cascais, Lisbon, Portugal. pp.1-6
Damien Foures, Mathieu Acher, Olivier Barais, Benoit Combemale, Jean-Marc Jézéquel, Jörg Kienzle
Experience in Specializing a Generic Realization Language for SPL Engineering at Airbus
MODELS 2023 – 26th International Conference on Model-Driven Engineering Languages and Systems, ACM; IEEE, Oct 2023, Västerås, Sweden. pp.1-12
L. Thomas van Binsbergen, Damian Frölich, Mauricio Verano Merino, Joey Lai, Pierre Jeanjean, Tijs van der Storm, Benoit Combemale, Olivier Barais
A Language-Parametric Approach to Exploratory Programming Environments
SLE 2022 – 15th ACM SIGPLAN International Conference on Software Language Engineering, ACM SIGPLAN: Special Interest Group on Programming Languages, Dec 2022, Auckland, New Zealand. pp.175-188, ⟨10.1145/3567512.3567527⟩
Loek Cleophas, Thomas Godfrey, Djamel Eddine Khelladi, Daniel Lehner, Benoit Combemale, Mark van den Brand, Michael Vierhauser, Manuel Wimmer, Steffen Zschaler
A community-sourced view on engineering digital twins: A Report from the EDT.Community
ModDiT 2022 – 2nd International Workshop on Model-Driven Engineering of Digital Twins, ACM; IEEE CS; University of Montreal, Oct 2022, Montréal, Canada. pp.481-485, ⟨10.1145/3550356.3561549⟩
Jörg Kienzle, Benoit Combemale, Gunter Mussbacher, Omar Alam, Francis Bordeleau, Loli Burgueño, Gregor Engels, Jessie Galasso, Jean-Marc Jézéquel, Bettina Kemme, Sébastien Mosser, Houari Sahraoui, Maximilian Schiedermeier, Eugene Syriani
Global Decision Making Over Deep Variability in Feedback-Driven Software Development
ASE 2022 – 37th IEEE/ACM International Conference on Automated Software Engineering, Oct 2022, Rochester, MI, United States. pp.1-6, ⟨10.1145/3551349.3559551⟩
Gunter Mussbacher, Benoit Combemale, Silvia Abrahão, Nelly Bencomo, Loli Burgueño, Gregor Engels, Jörg Kienzle, Thomas Kühn, Sébastien Mosser, Houari Sahraoui, Martin Weyssow
Towards an Assessment Grid for Intelligent Modeling Assistance
MDE Intelligence 2020 – 2nd Workshop on Artificial Intelligence and Model-driven Engineering, Oct 2020, Montreal, Canada. pp.1-10
Pierre Jeanjean, Benoit Combemale, Olivier Barais
From DSL Specification to Interactive Computer Programming Environment
SLE 2019 – 12th ACM SIGPLAN International Conference on Software Language Engineering, Oct 2019, Athènes, Greece. pp.167-178, ⟨10.1145/3357766.3359540⟩
Mojtaba Bagherzadeh, Karim Jahed, Benoit Combemale, Juergen Dingel
Live-UMLRT: A Tool for Live Modeling of UML-RT Models
MODELS 2019 – ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems, Sep 2019, Munich, Germany. pp.743-747, ⟨10.1109/MODELS-C.2019.00115⟩
Bringing Intelligence to Sociotechnical IoT Systems: Modeling Opportunities and Challenges
MDE4IoT 2019 – 3nd International Workshop on Model-Driven Engineering for the Internet-of-Things, Sep 2019, Munich, Germany. pp.1-2
Marcelino Rodriguez-Cancio, Benoit Combemale, Benoit Baudry
Approximate Loop Unrolling
CF 2019 – ACM International Conference on Computing Frontiers, Apr 2019, Alghero, Sardinia, Italy. pp.94-105, ⟨10.1145/3310273.3323841⟩
Fabien Coulon, Thomas Degueule, Tijs van Der Storm, Benoit Combemale
Shape-Diverse DSLs: Languages without Borders (Vision Paper)
SLE 2018 – 11th ACM SGIPLAN International Conference on Software Language Engineering, Nov 2018, Boston, United States. pp.215-219, ⟨10.1145/3276604.3276623⟩
Manuel Leduc, Thomas Degueule, Benoit Combemale
Modular Language Composition for the Masses
SLE 2018 – 11th ACM SIGPLAN International Conference on Software Language Engineering, Nov 2018, Boston, United States. pp.1-12, ⟨10.1145/3276604.3276622⟩
Benoît Lelandais, Marie-Pierre Oudot, Benoit Combemale
Fostering metamodels and grammars within a dedicated environment for HPC: the NabLab environment (tool demo)
SLE 2018 – International Conference on Software Language Engineering, Nov 2018, Boston, United States. pp.1-9, ⟨10.1145/3276604.3276620⟩
David Méndez-Acuña, José Galindo, Benoit Combemale, Arnaud Blouin, Benoit Baudry
Reverse engineering language product lines from existing DSL variants
22nd International Systems and Software Product Line Conference – SPLC 2018, Sep 2018, Gothenburg, Sweden. pp.148, ⟨10.1145/3233027.3236394⟩
Jean-Michel Bruel, Benoit Combemale, Esther Guerra, Jean-Marc Jézéquel, Jörg Kienzle, Juan de Lara, Gunter Mussbacher, Eugene Syriani, Hans Vangheluwe
Model Transformation Reuse across Metamodels – A classification and comparison of approaches
ICMT 2018 – International Conference on Theory and Practice of Model Transformations, Jun 2018, Toulouse, France. pp.92-109, ⟨10.1007/978-3-319-93317-7_4⟩
Dorian Leroy, Erwan Bousse, Anaël Megna, Benoit Combemale, Manuel Wimmer
Trace Comprehension Operators for Executable DSLs
ECMFA 2018 – 14th European Conference on Modelling Foundations and Applications, Jun 2018, Toulouse, France. pp.293-310, ⟨10.1007/978-3-319-92997-2_19⟩
Benoit Combemale, Betty H.C. Cheng, Ana Moreira, Jean-Michel Bruel, Jeff Gray
Modeling for Sustainability
Modeling in Software Engineering 2016 (MiSE’16), May 2016, Austin, United States. pp.62-66
Benoit Combemale, Cédric Brun, Joël Champeau, Xavier Crégut, Julien Deantoni, Jérome Le Noir
A Tool-Supported Approach for Concurrent Execution of Heterogeneous Models
8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), 2016, Toulouse, France
Jean-Michel Bruel, Benoit Combemale, Ileana Ober, Hélène Raynal
MDE in Practice for Computational Science
INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE, Université de Reykjavik. Reykjavik, ISL., Jun 2015, Reykjavík, Iceland. 10 p., ⟨10.1016/j.procs.2015.05.182⟩
Florent Latombe, Xavier Crégut, Benoit Combemale, Julien Deantoni, Marc Pantel
Weaving Concurrency in eXecutable Domain-Specific Modeling Languages
8th ACM SIGPLAN International Conference on Software Language Engineering (SLE), 2015, Pittsburg, United States
Florent Latombe, Xavier Crégut, Julien Deantoni, Marc Pantel, Benoit Combemale
Coping with Semantic Variation Points in Domain-Specific Modeling Languages
1st International Workshop on Executable Modeling (EXE’15), co-located with MODELS’15, 2015, Ottawa, Canada
Mounira Kezadri, Marc Pantel, Benoit Combemale, Xavier Thirioux
A formal framework to prove the correctness of model driven engineering composition operators
ICFEM’14 – 16TH INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, Nov 2014, Luxembourg, Luxembourg
Gunter Mussbacher, Daniel Amyot, Ruth Breu, Jean-Michel Bruel, Betty Cheng, Philippe Collet, Benoit Combemale, Robert B. France, Rogardt Heldal, James Hill, Jörg Kienzle, Matthias Schöttle, Friedrich Steimann, Dave Stikkolorum, Jon Whittle
The relevance of model-driven engineering thirty years from now
17th International Conference ACM/IEEE – Conference on Model Driven Engineering Languages and Systems (MODELS), Sep 2014, Valencia, Spain. pp. 183-200, ⟨10.1007/978-3-319-11653-2_12⟩
Mounira Kezadri, Marc Pantel, Benoit Combemale, Xavier Thirioux
Correct-by-construction model composition: Application to the Invasive Software Composition method
International Workshop on Formal Engineering approaches to Software Components and Architectures 2014, Apr 2014, Grenoble, France. pp.(electronic medium), ⟨10.4204/EPTCS.147.8⟩
Benoit Combemale, Julien De Antoni, Robert B. France, Frédéric Boulanger, Sébastien Mosser, Marc Pantel, Bernhard Rumpe, Rick Salay, Martin Schindler
Report on the First Workshop On the Globalization of Modeling Languages (GEMOC 2013) (regular paper)
In : International Workshop on the Globalization of Modeling Languages (GEMOC 2014), Miami, USA, 29/09/14, CEUR-WS : Workshop proceedings, pp. 3-13, September 2013.
Benoit Combemale, Xavier Crégut, Marc Pantel
A Design Pattern to Build Executable DSMLs and associated V&V tools (short paper)
In : Asia-Pacific Software Engineering Conference (APSEC 2012), Hong Kong, China, 04/12/12-07/12/12, IEEE : Institute of Electrical and Electronics Engineers, pp. 282-287, 2012.
Benoit Combemale, Xavier Crégut, Arnaud Dieumegard, Marc Pantel, Faiez Zalila
MDE through the Formal Verification of Process Models (regular paper)
In : Educators’ Symposium@MODELS 2011 – Software Modeling in Education, Wellington, New Zealand, 18/10/11, Vol. 52, Electronic Communications of the EASST, (on line), 2012.
Abstract URL : http://journal.ub.tu-berlin.de/eceasst/article/view/749
BibTeXMounira Kezadri, Benoit Combemale, Marc Pantel, Xavier Thirioux
A proof assistant based formalization of MDE components (regular paper)
In : Formal Aspects of Component Software (FACS 2011), Oslo, Norway, 14/09/11-16/09/11, Vol. 7253, Springer, Lecture Notes in Computer Science, (electronic medium), September 2011.
Xavier Crégut, Benoit Combemale, Marc Pantel, Raphaël Faudoux, Jonatas Pavei
Generative Technologies for Model Animation in the TOPCASED Platform (regular paper)
In : European Conference on Modelling Foundations and Applications (ECMFA 2010), Paris, 15/06/10-18/06/10, Springer, pp. 90-103, June 2010.
Alain Tchana, Suzy Temate, Benoit Combemale, Laurent Broto, Daniel Hagimont
Exploitation des techniques de virtualisation pour l’administration autonome d’infrastructures logicielles réparties
In : Conférence Francophone sur les Architectures Logicielles (CAL 2009), Nancy, 24/03/09-27/03/09, Cépaduès Editions, pp. 87-112, 2009.
Benoit Combemale, Xavier Crégut, Jean-Patrice Giacometti, Pierre Michel, Marc Pantel
Introducing Simulation and Model Animation in the MDE Topcased Toolkit (regular paper)
In : Formalisation des Activités Concurrentes (FAC 2008), Toulouse, France, 03/04/08-04/04/08, LAAS, (on line), April 2008.
URL : http://seminaire-verif.enseeiht.fr/FAC/2008/Papiers/43.pdf
BibTeXBenoit Combemale, Laurent Broto, Xavier Crégut, Michel Daydé, Daniel Hagimont
Autonomic Mangement Policy Specification: from UML to DSML
In : ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS 2008), Toulouse, 28/09/08-03/10/08, Springer-Verlag, pp. 584-599, October 2008.
Benoit Combemale, Laurent Broto, Alain Tchana, Daniel Hagimont
Metamodeling Autonomic System Management Policies — Ongoing Works
In : IEEE International Workshop on Model-Driven Development of Autonomic Systems, Turku, Finland, 28/07/08-01/08/08, IEEE : Institute of Electrical and Electronics Engineers, (electronic medium), July 2008.
Darlam Bender, Benoit Combemale, Xavier Crégut, François Vernadat, J.-M. Farines
Ladder Metamodeling & PLC Program Validation through Time Petri Nets
In : European Conference on Model Driven Architecture – Foundations and Applications (ECMDA-FA 2008), Berlin, Germany, 09/06/08-12/06/08, Springer, Lecture Notes in Computer Science 5095, pp. 121-136, June 2008.
Angel Garcia, Benoit Combemale, Xavier Crégut, Jean-Noël Guyot, Boris Libert
TopProcess: A Process Model Driven Approach Applied in Topcased for Embedded Real-Time Software
In : European Congress on Embedded Real-Time Software (ERTS 2008), Toulouse, 29/01/08-01/02/08, Société des Ingénieurs de l’Automobile, (electronic medium), January 2008.
Benoit Combemale, Xavier Crégut, Jean-Patrice Giacometti, Pierre Michel, Marc Pantel
Introducing Simulation and Model Animation in the MDE Topcased Toolkit
In : European Congress on Embedded Real-Time Software (ERTS 2008), Toulouse, 29/01/08-01/02/08, Société des Ingénieurs de l’Automobile, (electronic medium), January 2008.
Laurent Broto, Daniel Hagimont, Estella Annoni, Benoit Combemale, Jean-Paul Bahsoun
A Model Driven Autonomic management System
In : International Conference on Information Technology : New Generations (ITNG 2008), Las Vegas, USA, 07/04/08-09/04/08, IEEE : Institute of Electrical and Electronics Engineers, pp. 63-69, April 2008.
Reda Bendraou, Benoit Combemale, Xavier Crégut, Marie-Pierre Gervais
Definition of an Executable SPEM2.0
In : Asia-Pacific Software Engineering Conference (APSEC 2007), Nagoya, Japan, 04/12/07-07/12/07, IEEE Computer Society, pp. 390-397, December 2007.
Xavier Thirioux, Benoit Combemale, Xavier Crégut, Pierre-Loïc Garoche
A Framework to formalise the MDE Foundations
In : International Workshop on Towers of Models (TOWERS 2007), Zurich, 25/06/07, Richard Paige, Jean Bézivin (Eds.), Model Driven Engineering (MDE), pp. 14-30, June 2007.
Benoit Combemale, Xavier Crégut, Bernard Berthomieu, François Vernadat
Vers une vérification d’un procédé de développement modélisé en SPEM
In : Formalisation des Activités Concurrentes, Toulouse, France, 15/03/07-16/03/07.
URL : http://www.cert.fr/feria/svf/FAC/2007/Papiers/31.pdf
BibTeXBenoit Combemale, Pierre-Loïc Garoche, Xavier Crégut, Xavier Thirioux, François Vernadat
Towards a Formal Verification of Process Model’s Properties – SimplePDL and TOCL Case Study
In : International Conference on Enterprise Information Systems (ICEIS 2007), Funchal, Madeira – Portugal, 12/06/07-16/06/07, INSTICC Press, pp. 80-89, June 2007 (Best paper).
Benoit Combemale, Xavier Crégut, Pierre-Loïc Garoche, Xavier Thirioux
Expérimentation pour la définition d’une sémantique dans l’IDM
In : Sémantique des (meta)Modèles, Toulouse, France, 29/01/07, INPT : Institut National Polytechnique de Toulouse, pp. 146-161, March 2007.
Benoit Combemale, Xavier Crégut, Bernard Berthomieu, François Vernadat
SimplePDL2Tina: Mise en oeuvre d’une Validation de Modèles de Processus
In : Journées sur l’Ingénierie Dirigée par les Modèles (IDM 2007), Toulouse, France, 29/03/07-30/03/07, INPT : Institut National Polytechnique de Toulouse, pp. 86-101, March 2007.
Marc Pantel, Benoit Combemale, Xavier Crégut, Christine Maurel, Pierre Michel, Frédéric Migeon, Iulian Ober, Sylvain Rougemaille
Sémantique et méta-modélisation
In : Journées Kermeta, Rennes, 10/10/06.
URL : https://kermeta.org/community/KermetaDay06/pres_marc/download
BibTeXMarc Pantel, Benoit Combemale, Xavier Crégut, Christine Maurel, Pierre Michel, Frédéric Migeon, Iulian Ober, Sylvain Rougemaille
Simulation et ingénierie des modèles
In : Journées Kermeta, Rennes, 10/10/06.
URL : https://kermeta.org/community/KermetaDay06/pres_marc/download
BibTeXBenoit Combemale, Sylvain Rougemaille, Xavier Crégut, Frédéric Migeon, Marc Pantel, Christine Maurel
Sémantique dans la méta-modélisation
In : Journées sur l’Ingénierie Dirigée par les Modèles (IDM 2006), Lille, France, 26/06/06-28/06/06, Université de Lille, pp. 17-33, June 2006.
Benoit Combemale, Alain Caplain, Xavier Crégut, Bernard Coulette
Vers une vérification d’un procédé de développement modélisé en SPEM
In : Formalisation des Activités Concurrentes, Toulouse, France, 23/03/06-24/03/06.
URL : http://www.cert.fr/feria/svf/FAC/2006/Papiers/24.pdf
BibTeXBenoit Combemale, Xavier Crégut, Alain Caplain, Bernard Coulette
Modélisation rigoureuse en SPEM de procédé de développement
In : Conférence sur les Langages et Modèles à Objets (LMO 2006), Nîmes, France, 22/03/06-24/03/06, Hermès Science, pp. 135-150, March 2006.
Benoit Combemale, Xavier Crégut, Alain Caplain, Bernard Coulette
Towards a rigorous use of SPEM
In : International Conference on Enterprise Information Systems (ICEIS 2006), Paphos, Cyprus, 23/05/06-27/05/06, INSTICC Press, pp. 530-533, May 2006.
Benoit Combemale, Sylvain Rougemaille, Xavier Crégut, Frédéric Migeon, Marc Pantel, Christine Maurel
Towards rigorous metamodeling
In : Model-Driven Enterprise Information Systems (MDEIS 2006), Paphos – Cyprus, 23/05/06, Luís Ferreira Pires, Slimane Hammoudi (Eds.), INSTICC Press, pp. 1-15, May 2006.
Benoit Combemale, Xavier Crégut, Ileana Ober, Christian Percebois
Evaluation du standard SPEM de représentation des processus
In : Nice Environment with a Process and Tools Using Norms and Example (NEPTUNE 2006), Paris, 16/05/06, Pierre Bazex, Agusti Canals, Jean-Claude Rault (Eds.), GL & IS, pp. 25-30, June 2006.
Benoit Combemale, Manuel Wimmer
Towards a Model-Based DevOps for Cyber-Physical Systems
Software Engineering Aspects of Continuous Development, Springer-Verlag, pp.1-11, 2019
Approche de métamodélisation pour la simulation et la vérification de modèle
Master’s Thesis, Institut National Polytechnique de Toulouse, July 2008.
Abstract URL : http://ethesis.inp-toulouse.fr/archive/00000666/ – http://www.combemale.fr/research/phd/phd-2008-combemale-finalversion.pdf
BibTeX